Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
581	AUTOMATA Thus far we have been concerned with two major topics: the discovery of an appropriate model for computation and an examination of the intrinsic properties of computation in general. We found that since Turing m Add to Reading List Source URL: www.cs.uky.edu Language: English - Date: 2001-02-14 12:47:25 Automata theory Computer science Computability theory Turing machine Finite-state machine Linear bounded automaton Decision problem Theory of computation Theoretical computer science Models of computation
582	Critical Writing Workshop Add to Reading List Source URL: www.uts.edu.au Language: English - Date: 2015-03-11 20:35:20 Computability theory Functions and mappings Mathematical logic Formal methods Models of computation Function Mathematics Algebraic topology Sheaf
583	Propagation Networks: A Flexible and Expressive Substrate for Computation by Alexey Andreyevich Radul B.S., Massachusetts Institute of Technology (2003) Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-09-11 13:48:55 Theoretical computer science Academia Computability theory Gerald Jay Sussman Lisp programming language Logic programming Computation Computer Science and Engineering Reactive programming Software engineering Programming paradigms Computing
584	Post-publication version of “Aaron Sloman develops a distinctive view of – Virtual Machinery and Evolution of Mind (Part 1)” pages[removed]In Alan Turing - His Work and Impact, eds S. B. Cooper & J. van Leeuwen, Els Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-09-07 19:32:51 Turing machine Models of computation Computability theory Alan Turing Virtual machine Turing completeness VM Computability Programming language Theoretical computer science Computer science Theory of computation
585	What does the Turing test really mean? And how many human beings (including Turing) could pass? By Tyler Cowen and Michelle Dawson1 June 3, 2009 Alan Turing’s short 1950 paper in Mind, “Computing Machinery and Intell Add to Reading List Source URL: www.gmu.edu Language: English - Date: 2009-06-24 17:31:06 Science Philosophy of artificial intelligence Computability theory Turing machine Theory of computation Turing test Computing Machinery and Intelligence Universal Turing machine Reverse Turing test Alan Turing Artificial intelligence Computer science
586	CODE WILL EAT ITSELF @tomstuart / Scottish Ruby Conference[removed] A Ruby program run from a filesystem happens to be able to read its own source code: Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2013-05-14 11:42:01 Subroutines Computability theory Theoretical computer science Ruby Recursion Gotcha Computer programming Software engineering Computing
587	A Stochastic l-Calculus Dana S. Scott University Professor, Emeritus, Carnegie Mellon University Visiting Scholar, UC Berkeley As a formal theory, the l-Calculus has equational rules for the explicit definition of functi Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-20 07:44:50 Computability theory Models of computation Logic in computer science Lambda calculus Function Combinatory logic Denotational semantics Type theory John Myhill Mathematics Theoretical computer science Mathematical logic
588	Pluralities and Sets∗ Øystein Linnebo Birkbeck, University of London 1 Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2013-07-31 14:44:40 Quantification Z notation Predicate logic Computability theory S Plural quantification First-order logic Arithmetical hierarchy Constructible universe Mathematical logic Logic Mathematics
589	Probabilistic elementary analysis Main results, and references Quantifying over events in probability logic: expressibility vs. computability Stanislav O. Speranski Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-09-05 03:25:42 Logical syntax Non-classical logic Philosophical logic Model theory Quantification Probabilistic logic Probability space Well-formed formula Proposition Logic Mathematical logic Metalogic
590	Empiricism, Probability, and Knowledge of Arithmetic Sean Walsh, Department of Logic and Philosophy of Science, University of California, Irvine The topic of this paper is the tenability of a certain type of empiricism a Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-16 13:22:33 Proof theory Logic in computer science Computability theory Effective descriptive set theory Peano axioms Logicism Second-order arithmetic Philosophy of mathematics Axiom Mathematics Mathematical logic Logic

UPDATE